formalistically-oriented mathematicians - German English Dictionary